[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.131 0.004 0.059 0.194 0.271 0.018 0.275 0.032

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.132 0.001 0.046 0.203 0.279 0.018 0.275 0.024

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.133 0.001 0.056 0.186 0.255 0.019 0.267 0.022

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 14 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.82 0.76 0.71 0.76 0.76

time (sec)

N/A 0.138 0.001 0.046 0.194 0.254 0.019 0.278 0.022

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.131 0.000 0.013 0.192 0.249 0.019 0.283 0.017

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 11 10 14 11

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 1.08 0.85

time (sec)

N/A 0.137 0.001 0.021 0.192 0.258 0.043 0.271 0.023

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 10 13 5 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.30 0.50 1.00 1.00

time (sec)

N/A 0.134 0.001 0.022 0.206 0.239 0.033 0.266 0.025

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 17 10 20 11

N.S.

1 1.00 1.00 0.92 1.08 1.31 0.77 1.54 0.85

time (sec)

N/A 0.136 0.005 0.023 0.200 0.263 0.046 0.272 4.911

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 0.87

time (sec)

N/A 0.135 0.002 0.020 0.200 0.228 0.054 0.275 0.027

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.135 0.002 0.022 0.199 0.227 0.055 0.290 0.027

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.139 0.002 0.021 0.206 0.236 0.062 0.275 0.026

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.142 0.003 0.022 0.220 0.232 0.063 0.259 0.027

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 34 30 25 24 24 24 24 24

N.S.

1 1.13 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.160 0.001 1.663 0.197 0.231 0.020 0.290 0.042

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.153 0.001 1.647 0.198 0.226 0.023 0.269 0.033

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 34 30 25 24 24 24 24 24

N.S.

1 1.13 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.158 0.001 1.655 0.210 0.235 0.018 0.297 0.032

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.147 0.001 1.676 0.197 0.247 0.019 0.302 0.037

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 24 24 14 24

N.S.

1 1.00 1.00 0.94 0.88 1.50 1.50 0.88 1.50

time (sec)

N/A 0.131 0.002 1.667 0.183 0.238 0.022 0.282 0.033

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 21 21 22 21 21

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.144 0.002 1.657 0.192 0.237 0.023 0.271 0.030

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 30 23 22 24 21 20 24 21

N.S.

1 1.30 1.00 0.96 1.04 0.91 0.87 1.04 0.91

time (sec)

N/A 0.150 0.001 1.669 0.194 0.242 0.046 0.274 0.038

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 23 22 25 19 22 22

N.S.

1 1.00 1.00 0.96 0.92 1.04 0.79 0.92 0.92

time (sec)

N/A 0.148 0.001 1.659 0.188 0.240 0.038 0.277 0.034

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 27 24 24 27 24 32 23

N.S.

1 1.04 1.00 0.89 0.89 1.00 0.89 1.19 0.85

time (sec)

N/A 0.153 0.002 1.624 0.188 0.234 0.055 0.268 5.047

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 22 26 22 22 24

N.S.

1 1.00 1.00 0.96 0.96 1.13 0.96 0.96 1.04

time (sec)

N/A 0.152 0.001 1.646 0.198 0.232 0.073 0.269 0.029

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 30 24 23 26 28 24 34 24

N.S.

1 1.25 1.00 0.96 1.08 1.17 1.00 1.42 1.00

time (sec)

N/A 0.154 0.001 1.628 0.194 0.241 0.083 0.260 0.044

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 26 26 27 26 25

N.S.

1 1.00 1.00 0.89 0.93 0.93 0.96 0.93 0.89

time (sec)

N/A 0.149 0.001 1.654 0.188 0.238 0.087 0.262 0.035

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 30 25 24 24 26 24 26

N.S.

1 1.00 1.58 1.32 1.26 1.26 1.37 1.26 1.37

time (sec)

N/A 0.132 0.001 1.649 0.196 0.235 0.097 0.262 0.035

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 26 26 27 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.150 0.001 1.651 0.185 0.242 0.100 0.301 0.037

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 34 30 25 26 26 27 26 26

N.S.

1 1.13 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.163 0.001 1.667 0.192 0.240 0.103 0.271 0.039

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 26 26 27 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.154 0.001 1.655 0.192 0.226 0.107 0.275 0.037

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 37 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.175 0.003 1.653 0.190 0.229 0.020 0.280 0.044

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 37 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.171 0.004 1.665 0.199 0.239 0.021 0.292 0.044

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 39 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.171 0.003 1.670 0.194 0.227 0.020 0.272 0.046

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 43 36 35 35 37 35 35

N.S.

1 1.12 1.26 1.06 1.03 1.03 1.09 1.03 1.03

time (sec)

N/A 0.159 0.002 1.664 0.203 0.229 0.023 0.283 0.044

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 35 37 14 35

N.S.

1 1.00 1.00 0.94 0.88 2.19 2.31 0.88 2.19

time (sec)

N/A 0.126 0.002 1.658 0.207 0.245 0.024 0.269 0.042

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 34 36 33 37 36 33

N.S.

1 1.10 1.00 0.87 0.92 0.85 0.95 0.92 0.85

time (sec)

N/A 0.162 0.003 1.659 0.201 0.250 0.043 0.269 0.037

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 42 40 35 36 38 37 46 34

N.S.

1 1.05 1.00 0.88 0.90 0.95 0.92 1.15 0.85

time (sec)

N/A 0.161 0.005 1.655 0.193 0.242 0.067 0.298 0.037

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 41 40 35 37 39 37 46 37

N.S.

1 1.02 1.00 0.88 0.92 0.98 0.92 1.15 0.92

time (sec)

N/A 0.165 0.004 1.671 0.195 0.236 0.090 0.274 4.891

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 34 39 39 37 47 36

N.S.

1 1.10 1.00 0.87 1.00 1.00 0.95 1.21 0.92

time (sec)

N/A 0.171 0.004 1.664 0.210 0.233 0.121 0.289 0.049

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 43 36 35 35 37 35 37

N.S.

1 1.00 2.26 1.89 1.84 1.84 1.95 1.84 1.95

time (sec)

N/A 0.136 0.005 1.651 0.193 0.249 0.134 0.277 0.029

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 43 36 37 37 39 37 37

N.S.

1 1.10 1.08 0.90 0.92 0.92 0.98 0.92 0.92

time (sec)

N/A 0.147 0.004 1.658 0.204 0.243 0.146 0.269 0.054

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 37 37 39 37 37

N.S.

1 1.09 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.171 0.003 1.663 0.190 0.228 0.158 0.260 0.047

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 37 37 39 37 37

N.S.

1 1.09 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.169 0.005 1.645 0.216 0.236 0.171 0.269 0.031

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.169 0.002 1.680 0.215 0.248 0.021 0.272 0.044

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.167 0.002 1.682 0.203 0.247 0.022 0.281 0.043

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.167 0.002 1.683 0.191 0.231 0.021 0.271 0.043

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 32 31 31 32 31 31

N.S.

1 1.00 1.00 0.91 0.89 0.89 0.91 0.89 0.89

time (sec)

N/A 0.165 0.001 1.641 0.207 0.240 0.020 0.276 0.040

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 33 32 36 29 32 32

N.S.

1 1.00 1.00 0.97 0.94 1.06 0.85 0.94 0.94

time (sec)

N/A 0.169 0.003 1.675 0.193 0.244 0.043 0.268 0.046

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 34 34 36 36 34 36

N.S.

1 1.00 1.00 0.92 0.92 0.97 0.97 0.92 0.97

time (sec)

N/A 0.162 0.003 1.664 0.207 0.248 0.073 0.268 4.930

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 33 33 37 34 33 34

N.S.

1 1.00 1.00 0.97 0.97 1.09 1.00 0.97 1.00

time (sec)

N/A 0.159 0.004 1.669 0.215 0.236 0.100 0.279 0.032

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 36 37 37 39 37 35

N.S.

1 1.00 1.00 0.92 0.95 0.95 1.00 0.95 0.90

time (sec)

N/A 0.164 0.003 1.646 0.211 0.251 0.129 0.273 0.028

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 37 37 39 37 37

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.163 0.003 1.675 0.205 0.231 0.137 0.267 0.033

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 37 37 39 37 37

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.160 0.006 1.629 0.199 0.240 0.149 0.277 0.031

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 70 69 58 57 57 65 57 57

N.S.

1 1.01 1.00 0.84 0.83 0.83 0.94 0.83 0.83

time (sec)

N/A 0.196 0.003 1.688 0.203 0.260 0.023 0.262 0.026

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 57 57 65 57 57

N.S.

1 1.06 1.00 0.84 0.83 0.83 0.94 0.83 0.83

time (sec)

N/A 0.195 0.002 1.664 0.199 0.229 0.025 0.263 0.025

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 57 57 66 57 57

N.S.

1 1.06 1.00 0.84 0.83 0.83 0.96 0.83 0.83

time (sec)

N/A 0.191 0.002 1.693 0.195 0.243 0.023 0.267 0.025

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 69 58 57 57 65 57 57

N.S.

1 1.06 0.96 0.81 0.79 0.79 0.90 0.79 0.79

time (sec)

N/A 0.201 0.002 1.668 0.196 0.235 0.025 0.267 0.025

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 66 57 56 56 63 56 56

N.S.

1 1.08 1.25 1.08 1.06 1.06 1.19 1.06 1.06

time (sec)

N/A 0.185 0.002 1.650 0.194 0.229 0.031 0.264 0.026

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 66 57 56 56 63 56 56

N.S.

1 1.12 1.94 1.68 1.65 1.65 1.85 1.65 1.65

time (sec)

N/A 0.164 0.002 1.689 0.194 0.238 0.027 0.276 0.026

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 57 65 14 57

N.S.

1 1.00 1.00 0.94 0.88 3.56 4.06 0.88 3.56

time (sec)

N/A 0.135 0.012 1.672 0.201 0.237 0.027 0.271 0.025

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 65 56 58 55 65 58 55

N.S.

1 1.03 1.00 0.86 0.89 0.85 1.00 0.89 0.85

time (sec)

N/A 0.192 0.007 1.673 0.198 0.228 0.051 0.274 0.031

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 66 64 57 58 61 63 68 56

N.S.

1 1.03 1.00 0.89 0.91 0.95 0.98 1.06 0.88

time (sec)

N/A 0.185 0.009 1.678 0.208 0.229 0.070 0.273 0.032

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 68 64 57 59 61 63 70 59

N.S.

1 1.06 1.00 0.89 0.92 0.95 0.98 1.09 0.92

time (sec)

N/A 0.186 0.009 1.684 0.202 0.252 0.106 0.265 0.030

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 68 64 57 61 61 65 72 59

N.S.

1 1.06 1.00 0.89 0.95 0.95 1.02 1.12 0.92

time (sec)

N/A 0.188 0.004 1.695 0.204 0.249 0.141 0.275 0.041

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 65 64 57 61 61 63 70 59

N.S.

1 1.02 1.00 0.89 0.95 0.95 0.98 1.09 0.92

time (sec)

N/A 0.187 0.004 1.681 0.207 0.236 0.182 0.274 0.043

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 65 56 61 61 61 69 58

N.S.

1 1.03 1.00 0.86 0.94 0.94 0.94 1.06 0.89

time (sec)

N/A 0.190 0.005 1.681 0.212 0.237 0.227 0.269 4.833

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 69 58 57 57 61 57 59

N.S.

1 1.00 3.63 3.05 3.00 3.00 3.21 3.00 3.11

time (sec)

N/A 0.133 0.006 1.670 0.193 0.233 0.251 0.256 4.895

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 67 58 59 59 63 59 58

N.S.

1 1.10 1.68 1.45 1.48 1.48 1.58 1.48 1.45

time (sec)

N/A 0.151 0.006 1.681 0.203 0.248 0.282 0.272 5.057

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 72 67 58 59 59 63 59 58

N.S.

1 1.16 1.08 0.94 0.95 0.95 1.02 0.95 0.94

time (sec)

N/A 0.161 0.004 1.669 0.203 0.232 0.273 0.261 0.042

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 69 58 59 59 63 59 59

N.S.

1 1.03 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.191 0.008 1.676 0.205 0.253 0.296 0.266 0.043

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 59 59 63 59 59

N.S.

1 1.06 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.187 0.008 1.682 0.205 0.235 0.330 0.267 0.043

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 57 57 66 57 57

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.96 0.83 0.83

time (sec)

N/A 0.187 0.004 1.696 0.202 0.245 0.024 0.263 0.025

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 57 57 65 57 57

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.94 0.83 0.83

time (sec)

N/A 0.184 0.002 1.693 0.217 0.241 0.025 0.252 0.026

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 57 57 66 57 57

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.96 0.83 0.83

time (sec)

N/A 0.189 0.002 1.702 0.204 0.238 0.023 0.270 0.025

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 66 57 56 56 63 56 56

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.183 0.002 1.658 0.195 0.253 0.025 0.287 0.025

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 62 55 54 54 61 54 54

N.S.

1 1.00 1.00 0.89 0.87 0.87 0.98 0.87 0.87

time (sec)

N/A 0.182 0.001 1.675 0.208 0.236 0.022 0.284 0.024

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 56 55 59 58 55 55

N.S.

1 1.00 1.00 0.92 0.90 0.97 0.95 0.90 0.90

time (sec)

N/A 0.184 0.003 1.657 0.206 0.251 0.050 0.278 0.027

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 55 55 59 60 55 57

N.S.

1 1.00 1.00 0.92 0.92 0.98 1.00 0.92 0.95

time (sec)

N/A 0.182 0.004 1.687 0.209 0.241 0.089 0.275 0.026

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 56 58 59 63 58 58

N.S.

1 1.00 1.00 0.89 0.92 0.94 1.00 0.92 0.92

time (sec)

N/A 0.181 0.003 1.690 0.195 0.242 0.109 0.284 0.049

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 56 58 59 61 58 59

N.S.

1 1.00 1.00 0.92 0.95 0.97 1.00 0.95 0.97

time (sec)

N/A 0.181 0.003 1.679 0.227 0.243 0.145 0.283 5.058

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 55 57 59 60 57 57

N.S.

1 1.00 1.00 0.92 0.95 0.98 1.00 0.95 0.95

time (sec)

N/A 0.182 0.004 1.658 0.215 0.243 0.185 0.293 0.041

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 58 59 59 63 59 58

N.S.

1 1.00 1.00 0.89 0.91 0.91 0.97 0.91 0.89

time (sec)

N/A 0.184 0.003 1.674 0.198 0.228 0.224 0.296 0.040

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 67 58 59 59 63 59 58

N.S.

1 1.00 1.00 0.87 0.88 0.88 0.94 0.88 0.87

time (sec)

N/A 0.186 0.004 1.662 0.208 0.231 0.235 0.283 0.042

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 59 59 63 59 59

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.181 0.004 1.679 0.197 0.237 0.256 0.283 4.731

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 59 59 63 59 59

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.190 0.004 1.672 0.205 0.246 0.280 0.281 0.042

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 59 59 63 59 59

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.187 0.005 1.685 0.193 0.257 0.287 0.281 0.043

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 133 108 91 90 90 105 90 90

N.S.

1 1.03 0.84 0.71 0.70 0.70 0.81 0.70 0.70

time (sec)

N/A 0.245 0.009 1.693 0.192 0.252 0.033 0.296 0.107

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 108 91 90 90 107 90 90

N.S.

1 1.04 0.98 0.83 0.82 0.82 0.97 0.82 0.82

time (sec)

N/A 0.232 0.002 1.673 0.194 0.238 0.033 0.307 0.097

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 106 91 90 90 104 90 90

N.S.

1 1.04 1.16 1.00 0.99 0.99 1.14 0.99 0.99

time (sec)

N/A 0.211 0.002 1.708 0.197 0.245 0.032 0.270 4.746

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 106 91 90 90 105 90 90

N.S.

1 1.06 1.47 1.26 1.25 1.25 1.46 1.25 1.25

time (sec)

N/A 0.198 0.002 1.667 0.201 0.247 0.033 0.280 0.093

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 103 90 89 89 102 89 89

N.S.

1 1.08 1.94 1.70 1.68 1.68 1.92 1.68 1.68

time (sec)

N/A 0.184 0.003 1.660 0.209 0.239 0.032 0.289 0.095

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 106 91 90 90 105 90 90

N.S.

1 1.12 3.12 2.68 2.65 2.65 3.09 2.65 2.65

time (sec)

N/A 0.158 0.002 1.702 0.197 0.239 0.034 0.274 0.094

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 90 99 14 14

N.S.

1 1.00 1.00 0.94 0.88 5.62 6.19 0.88 0.88

time (sec)

N/A 0.133 0.001 1.677 0.211 0.234 0.032 0.281 4.671

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 106 100 89 91 88 102 91 88

N.S.

1 1.06 1.00 0.89 0.91 0.88 1.02 0.91 0.88

time (sec)

N/A 0.218 0.004 1.756 0.200 0.248 0.069 0.289 4.654

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 103 99 90 91 94 100 101 89

N.S.

1 1.04 1.00 0.91 0.92 0.95 1.01 1.02 0.90

time (sec)

N/A 0.217 0.004 1.694 0.186 0.245 0.084 0.264 0.062

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 101 90 92 94 104 103 92

N.S.

1 1.02 1.00 0.89 0.91 0.93 1.03 1.02 0.91

time (sec)

N/A 0.220 0.004 1.676 0.198 0.250 0.118 0.277 4.715

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 101 94 89 91 94 97 102 91

N.S.

1 1.07 1.00 0.95 0.97 1.00 1.03 1.09 0.97

time (sec)

N/A 0.223 0.005 1.664 0.225 0.242 0.159 0.274 0.055

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 103 97 90 94 94 100 105 92

N.S.

1 1.06 1.00 0.93 0.97 0.97 1.03 1.08 0.95

time (sec)

N/A 0.229 0.004 1.677 0.242 0.242 0.208 0.263 0.057

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 101 95 90 94 94 99 105 91

N.S.

1 1.06 1.00 0.95 0.99 0.99 1.04 1.11 0.96

time (sec)

N/A 0.227 0.004 1.699 0.258 0.244 0.263 0.263 4.775

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 101 90 94 94 99 105 92

N.S.

1 1.02 1.00 0.89 0.93 0.93 0.98 1.04 0.91

time (sec)

N/A 0.224 0.004 1.706 0.512 0.234 0.318 0.278 0.067

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 102 99 90 94 94 99 103 94

N.S.

1 1.03 1.00 0.91 0.95 0.95 1.00 1.04 0.95

time (sec)

N/A 0.224 0.004 1.695 0.209 0.265 0.377 0.306 4.800

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 106 100 89 94 94 97 102 91

N.S.

1 1.06 1.00 0.89 0.94 0.94 0.97 1.02 0.91

time (sec)

N/A 0.226 0.004 1.681 0.199 0.252 0.436 0.272 4.767

[next] [front] [up]